// Optimize some code when these features are not used.
export let sawReadOnlySpans = false,
  sawCollapsedSpans = false;

export function seeReadOnlySpans() {
  sawReadOnlySpans = true;
}

export function seeCollapsedSpans() {
  sawCollapsedSpans = true;
}
